From sequential programs to multi-tier applications by program transformation
نویسندگان
چکیده
منابع مشابه
Analyzing Array Manipulating Programs by Program Transformation
We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as “every data item stored in the segment A[i] to A[j] is equal to the corresponding item stored in the segment B[i] to B[j].”...
متن کاملFrom Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation
FRAMA-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed CONC2SEQ, a FRAMA-C plugin based on program transformation, capable to leverage the existing huge code base of plugins and to handle con...
متن کاملTransformation of Sequential Programs into Parallel Forms
One of the main tasks of a programmer when writing parallel programs is to identify the parts that are to be executed in parallel. This process is very timeconsuming and error prone. As an alternative, one can write its sequential version and then transform it into the parallel form by a parallelizing compiler. The loops in the sequential programs offer the best opportunities for parallelism. T...
متن کاملRecovery Guarantees for General Multi-Tier Applications
Database recovery does not mask failures to applications and users. Recovery is needed that considers data, messages, and application components. Special cases have been studied, but clear principles for recovery guarantees in general multi-tier applications such as web-based e-services are missing. We develop a framework for recovery guarantees that masks almost all failures. The main concept ...
متن کاملTransformation of Sequential Program to KPN - An Overview
Bharath, N., and Nandy, S. A runtime mechanism for detection of artificial deadlocks in process networks. In Circuits and Systems, 2004. MWSCAS '04. The 2004 47th Midwest Symposium on (25-28 2004), vol. 2, pp. II-437 II-440 vol.2. B.Kienhauis, E., and E.F.Deprettere. Compaan : Driving processnetworks from matlab for embedded signal processing architecture. In proceedings of Eighth International...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2005
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1047659.1040324